Electronic Books

Total Books: 21 - 39 /39

Internet of Things. Information Processing in an Increasingly Connected World

This book cover a wide range of topics from a technology to a business perspective and include among others hardware, software ...

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Network Performance Analysis : Using the J Programming Language

This useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...

Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...

Semantic Systems. The Power of AI and Knowledge Graphs

This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...

Smart Homes and Health Telematics : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

The book is organized in topical sections on assistive technology to improve quality of life for older adults and their caregivers; ...

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, ...

Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

The Definitive Guide to SOA : Oracle® Service Bus

The Definitive Guide to SOA: Oracle® Service Bus, Second Edition targets professional software developers and architects ...

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings

The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...

The Once-Only Principle The TOOP Project

This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

Wireless Sensor Networks : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, ...

Total Books: 21 - 39 /39